Feeds to Scour
SubscribedAll
Scoured 258040 posts in 1.55 s
Introducing the XLab AI Security Guide
lesswrong.com·7h
🛡️Security Type Systems
Preview
Report Post
Complete Ergodicity in One-Dimensional Reversible Cellular Automata | Journal of Statistical Physics
link.springer.com·1d
🧮Combinator Calculus
Preview
Report Post
Pokémon Team Optimization
nchagnet.pages.dev·2d·
Discuss: Hacker News
🧩Constraint Solvers
Preview
Report Post
Pandas vs Polars: Why the 2025 Evolution Changes Everything
dev.to·9h·
Discuss: DEV
📊DataFrame Types
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io·8h·
Discuss: DEV
🎮Language Ergonomics
Preview
Report Post
Improved Simulation of Stabilizer Circuits
paperium.net·16h·
Discuss: DEV
⚡Control Synthesis
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
🪄C Metaprogramming
Preview
Report Post
🎲 The Automatic Grover Algorithm
lucamarx.com·1d
🎯Bit-Vector Algorithms
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🎯Symbolic Execution
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·14h
🤖Abstract Machines
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·3d
📡Binary Protocols
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🎯Symbolic Execution
Preview
Report Post
An Inequality Union Find Inspired by Atomic Asymmetric Completion
philipzucker.com·6d
🔗Unification Algorithms
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
📊Datalog Engines
Preview
Report Post
Towards a General Framework for Predicting and Explaining the Hardness of Graph-based Combinatorial Optimization Problems using Machine Learning and Association Rule Mining
arxiv.org·2d
🌸Bloom Indexing
Preview
Report Post
Meeting Seed7
genodians.org·1d
🌱Forth Kernels
Preview
Report Post
McCormick: NDAA brings security benefits for Pennsylvania
bradfordera.com·2d
🎯Finite Automata
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·1d
λLambda Calculus
Preview
Report Post
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.to·1d·
Discuss: DEV
✅Configuration Validation
Preview
Report Post